Technion Israel Institute of Technology - PDFSEARCH.IO - Document Search Engine

Technion Israel Institute of Technology
Results: 243

#	Item
151	‫טכניון – מכון טכנולוגי לישראל‬ TECHNION – ISRAEL INSTITUTE OF TECHNOLOGY ‫ מרכזת אורחים אקדמיים‬- ‫לשכת הסגל האקדמי‬ OFFICE FOR ACADEMIC STAFF - VI Add to Reading List Source URL: int.technion.ac.il Language: English - Date: 2015-01-11 06:57:52
152	Short PCPs with Polylog Query Complexity Eli Ben-Sasson Computer Science Department Technion — Israel Institute of Technology Haifa, 32000, Israel ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-11-21 04:15:40
153	I N T E R N E T : h t t p : / / w w w . f o c u s . t e c h n i o n . a c . i l Technion—Israel Institute of Technology, Division of Public Affairs & Resource Development, January 2004 Add to Reading List Source URL: www.focus.technion.ac.il Language: English - Date: 2013-01-17 08:48:22
154	‫מדריך לתארים מתקדמים‬ ‫שנה"ל תשע"ה‬ Technion - Israel Institute of Technology Add to Reading List Source URL: w2.technion.ac.il Language: Hebrew - Date: 2014-11-03 02:21:14
155	Tree Automata over Inﬁnite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory
156	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
157	One-Class Background Model Assaf Glazer, Michael Lindenbaum, Shaul Markovitch {assafgr,mic,shaulm}@cs.technion.ac.il Technion – Israel Institute of Technology, Haifa, Israel Abstract. Background models are often used Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-03 10:00:50 Peak signal-to-noise ratio Engineering Image processing Digital television Noise
158	Route Search over Probabilistic Geospatial Data Yaron Kanza1, , Eliyahu Safra2 , and Yehoshua Sagiv3, 1 2 Technion—Israel Institute of Technology Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-05-26 06:50:03 Approximation algorithm Computational complexity theory Travelling salesman problem Statistical hypothesis testing Theoretical computer science Statistics Applied mathematics
159	Chaos and multiple mode spatio-temporal complexity in thermo-visco-elastic systems subject to laser irradiation O. Gottlieb and E. Hollander Department of Mechanical Engineering, Technion - Israel Institute of Technology Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2015-05-19 15:49:12 Structure Limit-cycle Hopf bifurcation Chaos theory Dynamical system Bifurcation diagram Oscillation Laser Nonlinear system Bifurcation theory Physics Mathematical analysis
160	Interactive Traffic-Aware Route Search on Smartphones Roy Levin Yaron Kanza Technion – Israel Institute of Technology Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-12-26 04:34:36 Operations research Travelling salesman problem Algorithm Poi Search algorithm Mathematics Applied mathematics Theoretical computer science

UPDATE